Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
631	What’s in Main Tobias Nipkow August 27, 2014 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available. For infix Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Computing Programming language theory ALGOL 68 Software engineering
632	JEM/SMILES L2 Products Guide for ver) STRUCTURE OF STANDARD SMILES L2 PRODUCTS January 10, 2012 Add to Reading List Source URL: smiles.isas.jaxa.jp Language: English - Date: 2012-04-23 03:30:08 C programming language Data types Hierarchical Data Format Data file Struct ALGOL 68 Computing Programming language theory Software engineering
633	Gradual Typing: Isabelle/Isar Formalization Jeremy Siek and Walid Taha April 7, 2006 theory GradualTyping = Main + LaTeXsugar + OptionalSugar : datatype base-ty Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-17 16:43:12
634	ESAC, INC. LIFE SCIENCES Advancing cancer research with fast transfer of large Proteomic data Add to Reading List Source URL: asperasoft.com Language: English - Date: 2014-02-05 18:23:16 Fast And Secure Protocol ALGOL 68 Uploading and downloading Computing Programming language theory Web portal
635	Technical Report UCAM-CL-TR-605 ISSNNumber 605 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:00:33 Functional languages Type system Type safety Programming language Haskell OCaml Racket ML ALGOL 68 Software engineering Computing Programming language theory
636	C0 Reference: Principles of Imperative Computation Frank Pfenning August 21, 2014 Compiler revision 384 (updates since January 30, 2011) Add to Reading List Source URL: c0.typesafety.net Language: English - Date: 2015-01-09 10:27:25 C programming language Data types C++ Procedural programming languages Type theory C++ classes Struct C Pointer Computing Software engineering Computer programming
637	WG 14 N1759 WG14 CFP meeting minutes for the meeting ofAttendees: Jim, Rajan, Mike, David (12:00 EST) Old action items: Jim: Changes to make to part 2: Page 1: does not cover -> neither (Reworded differently) Add to Reading List Source URL: www.open-std.org Language: English - Date: 2013-09-22 10:25:04 Programming language theory C11 C C programming language Computing Software engineering
638	HW 7 Program from Exercise 5.3 For HW 7, your task is to finish a type checker that ensures only same-shaped trees are combined. Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Data types Functional programming Lisp programming language Type theory Procedural programming languages Cons List ALGOL 68 Polymorphism Software engineering Computing Computer programming
639	DEPARTMENT OF DEFENSE REQUIREMENTS FOR HIGH ORDER COMPUTER PROGRAMMING LANGUAGES ÒSTEELMANÓ Add to Reading List Source URL: www.adahome.com Language: English - Date: 1996-11-26 12:42:17 Type theory Primitive types Computer programming English grammar Shall and will Type system Programming language Constant Boolean data type Data types Software engineering Computing
640	Presentation Title Emily: A High Performance Language For Secure Cooperation Add to Reading List Source URL: www.skyhunter.com Language: English - Date: 2006-02-14 18:48:19 Functional languages Type theory OCaml Procedural programming languages Data types Caml ML Preprocessor Java Computing Software engineering Computer programming

UPDATE